The Loop Problem for Rees Matrix Semigroups
نویسنده
چکیده
We study the relationship between the loop problem of a semigroup, and that of a Rees matrix construction (with or without zero) over the semigroup. This allows us to characterize exactly those completely zero-simple semigroups for which the loop problem is context-free. We also establish some results concerning loop problems for subsemigroups and Rees quotients.
منابع مشابه
Function spaces of Rees matrix semigroups
We characterize function spaces of Rees matrixsemigroups. Then we study these spaces by using the topologicaltensor product technique.
متن کاملOn semigroups with PSPACE-complete subpower membership problem
Fix a finite semigroup S and let a1, . . . , ak , b be tuples in a direct power S. The subpower membership problem (SMP) for S asks whether b can be generated by a1, . . . , ak. For combinatorial Rees matrix semigroups we establish a dichotomy result: if the corresponding matrix is of a certain form, then the SMP is in P; otherwise it is NP-complete. For combinatorial Rees matrix semigroups wit...
متن کاملAutomatic Rees Matrix Semigroups
We consider the preservation of the properties of automaticity and prefix-automaticity in Rees matrix semigroups over semigroupoids and small categories. Some of our results are new or improve upon existing results in the single-object case of Rees matrix semigroups over semigroups.
متن کاملCertain Dense Embeddings of Regular Semigroups
In a previous paper, the author has introduced a number of homomorphisms of an arbitrary semigroup into the translational hull of certain Rees matrix semigroups or orthogonal sums thereof. For regular semigroups, it is proved here that all of these homomorphisms have the property that the image is a densely embedded subsemigroup, i.e., is a densely embedded ideal of its idealizer, and that the ...
متن کاملOn Rees Matrix Representations of Abundant Semigroups with Adequate Transversals
The concepts of ∗-relation of a (Γ-)semigroup and Γ̄-adequate transversal of a (Γ-)abundant semigroup are defined in this note. Then we develop a matrix type theory for abundant semigroups. We give some equivalent conditions of a Rees matrix semigroup being abundant and some equivalent conditions of an abundant Rees matrix semigroup having an adequate transversal. Then we obtain some Rees matrix...
متن کامل